321. Polytopes:
پدیدآورنده: edited by T. Bisztriczky, P. McMullen, R. Schneider, A. Ivić Weiss.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Polytopes -- Congresses.,Polytopes.
رده :
QA691
.
E358
1994
322. Probabilistic Methods for Algorithmic Discrete Mathematics
پدیدآورنده: edited by Michel Habib, Colin McDiarmid, Jorge Ramirez-Alfonsin, Bruce Reed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.
323. Proceedings of the Third International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'18) :
پدیدآورنده: edited by Ajith Abraham, Sergey Kovalev, Valery Tarassov, Vaclav Snasel, Andrey Sukhanov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence-- Industrial applications, Congresses.,Artificial intelligence.,Engineering.,Industrial engineering.
رده :
TS176
.
I582
2018
324. Proceedings of the first International Symposium on Impact and Friction of Solids, Structures and Intelligent Machines :
پدیدآورنده: editor, Ardéshir Guran.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Panagiotopoulos, P. D.,1950-,Panagiotopoulos, P. D.,1950-,Friction, Congresses.,Impact, Congresses.,Friction.,Impact.,SCIENCE-- Nanoscience.
رده :
TA354
.
I565
1998eb
325. Proceedings of the 2nd International Conference on Data Engineering and Communication Technology :
پدیدآورنده: Anand J. Kulkarni, Suresh Chandra Satapathy, Tai Kang, Ali Husseinzadeh Kashan, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses.,Information technology, Congresses.,Artificial Intelligence (incl. Robotics).,Communications Engineering, Networks.,Computational Intelligence.,Systems and Data Security.,Artificial intelligence.,Communications engineering / telecommunications.,Computer networks.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
T58
.
5
326. Quantum Walks and Search Algorithm
پدیدآورنده: / by Renato Portugal
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Physics,Information theory,Quantum theory,Electronic books
رده :
E-BOOK
327. Query Language Extensions for Advanced Analytics on Big Data and their Efficient Implementation
پدیدآورنده: GU, JIAQI
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
328. Ramsey theory :
پدیدآورنده: Xiaodong Xu, Meilian Liang, Haipeng Luo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis.,Graph theory.,Ramsey theory.,Combinatorial analysis.,Graph theory.,MATHEMATICS-- General.,Ramsey theory.
رده :
QA166
.
X865
2018
329. Rational Drug Design
پدیدآورنده: edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Numerical analysis.
330. Reasoning with probabilistic and deterministic graphical models :
پدیدآورنده: Rina Dechter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Bayesian statistical decision theory.,Graphical modeling (Statistics),Machine learning.,Reasoning.,Algorithms.,Bayesian statistical decision theory.,COMPUTERS-- General.,Graphical modeling (Statistics),Machine learning.,Reasoning.
رده :
QA279
.
5
.
D43
2019
331. Recent Advances in Reliability Theory
پدیدآورنده: edited by N. Limnios, M. Nikulin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering.,Statistics.,System safety.
332. Relations and Graphs :
پدیدآورنده: by Gunther Schmidt, Thomas Ströhlein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
333. Research in computational topology /
پدیدآورنده: Erin Wolf Chambers, Brittany Terese Fasy, Lori Ziegelmeier editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computational complexity.,Geometry-- Data processing-- Research.,Topology-- Data processing-- Research.,Algorithms.,Computational complexity.,MATHEMATICS-- Topology.
رده :
QA611
334. Rewriting techniques and applications :
پدیدآورنده: N. Dershowitz, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
335. Robotics :
پدیدآورنده: Bruno Siciliano [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Manipulators (Mechanism),Robots-- Control systems.,Robots-- Motion.,Ingénierie.,Manipulators (Mechanism),Manipulators (Mechanism),Robots-- Control systems.,Robots-- Control systems.,Robots-- Motion.,Robots-- Motion.
رده :
TJ211
.
35
.
S43
2009eb
336. Robotics, Vision and Control :
پدیدآورنده: by Peter Corke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Automatic control.,Automation.,Cognitive psychology.,Engineering.,Image processing.,Robotics.,Artificial intelligence.,Automatic control.,Automation.,Cognitive psychology.,Engineering.,Image processing.,Robotics.
رده :
T59
.
5
337. Robotics, vision and control :
پدیدآورنده: Peter Corke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: MATLAB.,MATLAB.,Computer vision.,Robots-- Control systems.,Computer vision.,Robots-- Control systems.
رده :
TJ211
.
35
.
C67
2017eb
338. Robotics, vision and control :
پدیدآورنده: Peter Corke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: MATLAB.,Robots-- Sistemes de control.,Visió per ordinador.
339. STACS 92 :
پدیدآورنده: A[lain] Finkel, M[atthias] Jantzen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.
